Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

JunctionTrees and NestedUWDs #5

Merged
merged 2 commits into from
Feb 23, 2024
Merged

JunctionTrees and NestedUWDs #5

merged 2 commits into from
Feb 23, 2024

Conversation

samuelsonric
Copy link
Collaborator

@samuelsonric samuelsonric commented Feb 22, 2024

This pull request updates the package so that it uses Catlab 0.16, rather than Catlab 0.14 It also adds two new submodules: JunctionTrees and NestedUWDs.

The submodule JunctionTrees provides functions for building tree decompositions of undirected graphs. The submodule NestedUWDs provides functions for "clustering" undirected wiring diagrams, so that their operad algebras are easier to compute.

To see the code in action, refer to this README.

Copy link
Member

@jpfairbanks jpfairbanks left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nothing jumps out at me to block this.

@benjaminmerlinbumpus, what do you think?

@jpfairbanks jpfairbanks mentioned this pull request Feb 23, 2024
@jpfairbanks jpfairbanks merged commit c253626 into main Feb 23, 2024
1 check passed
@jpfairbanks jpfairbanks deleted the nested_uwds branch February 23, 2024 20:21
@benjaminmerlinbumpus
Copy link
Collaborator

Nothing jumps out at me to block this.

@benjaminmerlinbumpus, what do you think?

Looks good to me. Eventually integration into the existing structured decompositions type would be a good goal.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants